Computer science

Module	Title	LV Type	CP	LV	Dates
Applied Software Engineering within the life cycle of Automotive Electronics	Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT)	Vorlesung/Übung		511983	Mi 08:30-10:00 5056 (2356\|056) (×8)
	Angewandte Softwaretechnik im Lebenszyklus der Automobilelektronik	Fach-/Modulprüfung	3	519448
Computability and Complexity	Berechenbarkeit und Komplexität (neu, WS)	Fach-/Modulprüfung	6	514910
	Berechenbarkeit und Komplexität - Übung	Tutorium		512069	Mi 08:30-10:00 S01 (1385\|201) (×14) Mi 08:30-10:00 S02 (1385\|202) (×14) Mi 08:30-10:00 S11 (1385\|211) (×14) Mi 08:30-10:00 S16 (1385\|216) (×14) Mi 08:30-10:00 Z3 (1420\|302) (×14) Mi 08:30-10:00 Z4 (1420\|301) (×14) Mi 16:30-18:00 S01 (1385\|201) (×14) Mi 16:30-18:00 S07 (1385\|207) (×14) Mi 16:30-18:00 S09 (1385\|209) (×14) Mi 16:30-18:00 S13 (1385\|213) (×14) Mi 16:30-18:00 S15 (1385\|215) (×14) Mi 16:30-18:00 Z3 (1420\|302) (×14) Mi 18:30-20:00 S09 (1385\|209) (×14) Mi 18:30-20:00 S10 (1385\|210) (×14) Mi 18:30-20:00 S11 (1385\|211) (×14) Mi 18:30-20:00 S12 (1385\|212) (×14) Mi 18:30-20:00 S13 (1385\|213) (×14) Mi 18:30-20:00 S14 (1385\|214) (×14) Mi 18:30-20:00 S15 (1385\|215) (×14) Mi 18:30-20:00 S16 (1385\|216) (×14)
	Berechenbarkeit und Komplexität (Globalübung)	Übung		510275	Di 16:30-18:00 AH IV (2354\|030) (×1) Di 16:30-18:00 TEMP2 (1515\|002) (×11)
	Berechenbarkeit und Komplexität	Vorlesung		512239	Do 18:30-20:00 Großer Hörsaal AM (1420\|210) (×13) Fr 08:30-10:00 H01 (1385\|101) (×8)
Computer Graphics	Basic Techniques in Computer Graphics	Fach-/Modulprüfung	6	514569
	Basic Techniques in Computer Graphics	Übung		510608	Do 12:30-14:00 AH I (2350\|028) (×15)
	Basic Techniques in Computer Graphics	Vorlesung		512062	Di 12:30-14:00 AH V (2356\|050) (×14) Do 10:30-12:00 AH V (2356\|050) (×15)
Databases and Information Systems	Datenbanken und Informationssysteme	Fach-/Modulprüfung	6	518941
Discrete Structures	Diskrete Strukturen	Fach-/Modulprüfung	6	514657
	Diskrete Strukturen	Übung		511762	Di 08:30-10:00 004 (1830\|004) (×15) Di 08:30-10:00 AS (1050\|U101) (×12) Di 08:30-10:00 H10 (1385\|217) (×11) Di 08:30-10:00 H11 (1385\|218) (×2) Di 08:30-10:00 Lu (1320\|301) (×2) Di 08:30-10:00 Phil (1070\|113) (×15) Di 08:30-10:00 V (1010\|213) (×1) Di 10:30-12:00 R 5 (1080\|005) (×12) Di 10:30-12:00 SG 12 (1810\|012) (×14) Di 12:30-14:00 Phil (1070\|113) (×14) Di 16:30-18:00 004 (1830\|004) (×15) Di 16:30-18:00 BS 312 (2130\|312) (×15) Di 16:30-18:00 SFo 14 (1821\|014) (×15) Di 18:30-20:00 AS (1050\|U101) (×15) Di 18:30-20:00 H08 (1385\|219) (×15) Di 18:30-20:00 klPhys (1090\|334) (×15)
	Diskrete Strukturen	Tutorium		511701	Mo 10:00-15:00 IV (1010\|141) (×1) Mo 10:00-15:00 V (1010\|213) (×1) Mi 14:30-16:00 TEMP1 (1515\|001) (×14) Mi 14:30-16:00 TEMP2 (1515\|002) (×1) Do 10:00-15:00 R 140 (1080\|140) (×1) Do 10:00-15:00 R 5 (1080\|005) (×1)
	Diskrete Strukturen	Vorlesung		511684	Mo 14:30-16:00 H01 (1385\|101) (×15) Fr 14:30-16:00 Großer Hörsaal AM (1420\|210) (×13)
Efficient Algorithms	Effiziente Algorithmen	Fach-/Modulprüfung	6	514976
	Effiziente Algorithmen - Übung	Tutorium		521741	Mi 16:30-18:00 AH II (2350\|111) (×15) Do 08:30-10:00 5052 (2356\|052) (×15) Do 10:30-12:00 5056 (2356\|056) (×15) Do 12:30-14:00 5052 (2356\|052) (×15) Do 12:30-14:00 5054 (2356\|054) (×15) Do 16:30-18:00 5052 (2356\|052) (×15)
	Effiziente Algorithmen	Vorlesung		521740	Mo 16:30-18:00 AH I (2350\|028) (×12) Mo 16:30-18:00 AH V (2356\|050) (×1) Di 16:30-18:00 AH V (2356\|050) (×13)
Formal Methods for Logic Control Software	Formale Methoden für Steuerungssoftware (WS)	Fach-/Modulprüfung	6	514596
Formal Methods for Logic Control Software	Formale Methoden für Steuerungssoftware (Übung)	Fach-/Modulprüfung		516576
Formal Systems, Automata, Processes	Formale Systeme, Automaten, Prozesse	Fach-/Modulprüfung	6	517447
Geometry Processing	Geometry Processing	Fach-/Modulprüfung	6	519438
Graph Algorithms	Algorithmische Graphentheorie	Fach-/Modulprüfung	6	515613
High-Performance Computing	Einführung in High-Performance Computing (neu WS 15/16)	Fach-/Modulprüfung	6	515017
High-Performance Computing	Einführung in High-Performance Computing	Vorlesung/Übung		512750	Mo 10:30-12:00 H06 (1385\|004) (×13) Do 10:30-12:00 H05 (1385\|105) (×8)
Introduction to Algorithmic Differentiation	Einführung in Computational Differentiation	Fach-/Modulprüfung	6	518526
Introduction to Algorithmic Differentiation	Einführung in Algorithmisches Differenzieren	Vorlesung/Übung		510858	Di 10:30-12:00 AH III (2350\|314.1) (×14) Mi 10:30-12:00 AH IV (2354\|030) (×15)
Introduction to Computer Engineering	Einführung in die Technische Informatik	Fach-/Modulprüfung	8	515120
Introduction to Computer Engineering	Einführung in die Technische Informatik	Vorlesung/Übung		512565	Mo 18:30-20:00 H02 (1385\|102) (×15) Mi 08:30-10:00 Großer Hörsaal AM (1420\|210) (×15) Fr 12:30-14:00 H02 (1385\|102) (×13) Fr 12:30-14:00 TEMP2 (1515\|002) (×1)
Object Oriented Software Construction	Objektorientierte Software-Konstruktion	Fach-/Modulprüfung	6	515005
	Objektorientierte Software-Konstruktion	Übung		521558	Fr 14:30-16:00 AH III (2350\|314.1) (×14)
	Objektorientierte Software-Konstruktion	Vorlesung		521557	Di 10:00-11:30 5054 (2356\|054) (×1) Do 12:30-14:00 AH III (2350\|314.1) (×15) Do 15:00-16:00 5054 (2356\|054) (×1) Fr 08:30-10:00 AH II (2350\|111) (×1) Fr 10:30-12:00 AH IV (2354\|030) (×13)
Software Engineering	Softwaretechnik	Fach-/Modulprüfung	6	515121
Software Engineering	Softwaretechnik	Vorlesung/Übung		513982	Di 08:30-18:00 Fakultätssitzungssaal Informatik (2359\|222) (×1) Di 10:30-12:00 Großer Hörsaal AM (1420\|210) (×12) Mi 10:30-12:00 Großer Hörsaal AM (1420\|210) (×9) Do 14:30-16:00 H01 (1385\|101) (×9) Fr 14:30-19:30 Fakultätssitzungssaal Informatik (2359\|222) (×1)
Software Quality Assurance	Software-Qualitätssicherung	Fach-/Modulprüfung	6	518510
Statistical Methods in Natural Language Processing	Statistical Methods in Natural Language Processing	Fach-/Modulprüfung	8	515381